Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
121	Advanced incremental code analysis for C/C++, C# and Java Introducing Visual Lint Build Server   Add to Reading List Source URL: www.riverblade.co.uk Language: English - Date: 2014-09-02 05:38:14 Programming tool Static program analysis NDepend Software engineering Software Lint
122	Static and Dynamic Analysis at . David Sklar - ZendCon 2008 Add to Reading List Source URL: www.sklar.com Language: English - Date: 2015-04-14 08:57:13 Computer programming Debuggers Xdebug Initialisms PHP Static program analysis Software Computing PHP programming language
123	Microsoft Word - Ausschreibung_SFCgen.docx Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2015-01-21 09:18:19 McGill University Soot Industrial automation Programmable logic controller Sequential function chart Static program analysis Jimple C Software Computing Technology
124	Reverse Engineering with the Reclipse Tool Suite Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:38:18 Computer programming Design Patterns Behavioral pattern Structural pattern Class Static program analysis Book:Design Patterns Software design patterns Software engineering Computing
125	ValueAnalyzer for PPC ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software system Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Cross-platform software Compilers GNU Compiler Collection Programming tool CodeWarrior Ada PowerPC C Linux Software Computing Computer programming
126	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Source code Debugging Computer jargon Software archaeology Software maintenance Software bug Open-source software Instrumentation Static program analysis Computer programming Computing Software engineering
127	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
128	Microsoft Wordrevised.doc Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2011-06-08 19:45:42 Computer network security Program analysis Software bugs Computer security Malware Computer virus Software testing Static program analysis Program slicing Computing Software engineering Programming language theory
129	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
130	Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-03-28 01:09:33 Software engineering Concurrency control Concurrency Concurrent computing Thread Lock Parallel computing Deadlock Call graph Computing Program analysis Static program analysis

UPDATE